61. Logic program synthesis and transformation :
پدیدآورنده : publ. in collab. with the British Computer Society. Yves Deville (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logische Programmierung,Softwareentwicklung,Systemtransformation
62. Logics of Programs :
پدیدآورنده : by E. Clarke, D. Kozen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
63. MATLAB control systems engineering /
پدیدآورنده : César Pérez López
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : MATLAB,Computer-aided engineering,Control theory-- Computer programs
رده :
QA402
.
3
.
P47
2014
64. MICAI 2002 :
پدیدآورنده : Carlos A. Coello Coello [and others], (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.
65. Mastering C++ Game Development :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C++ (Computer program language),Computer games-- Programming.,C++ (Computer program language),Computer games-- Programming.,Computers-- Computer Graphics.,Computers-- Programming Languages-- C.,Computers-- Programming Languages-- General.,Graphical & digital media applications.,Programming & scripting languages: general.
رده :
QA76
.
73
.
C153
66. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
67. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
68. New Trends in Computer Graphics Proceedings of CG International '88
پدیدآورنده : Nadia Magnenat-Thalmann
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
T385
.
N335
2013
69. Numerical methods of mathematics implemented in Fortran /
پدیدآورنده : Sujit Kumar Bose.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,FORTRAN (Computer program language),Computer science-- Mathematics.,FORTRAN (Computer program language)
رده :
QA76
.
73
.
F25
B67
2019
70. OOIS'96 :
پدیدآورنده : edited by Dilip Patel, Yuan Sun, Shushma Patel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Database management.,Object-oriented databases -- Congresses.
رده :
QA76
.
9
.
D3
E358
1997
71. Object-Oriented Programming :
پدیدآورنده : by Hanspeter Mössenböck.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Oberon.,Object-oriented programming (Computer science),Operating systems (Computers)
رده :
QA76
.
64
B943
1993
72. PRICAI 2000 :
پدیدآورنده : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
73. Parallel Computing and Mathematical Optimization :
پدیدآورنده : edited by Manfred Grauer, Dieter B. Pressmar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Economics.,Management information systems.
رده :
Q500
.
E358
1991
74. Parallel algorithms for numerical linear algebra on a shared memory multiprocessor
پدیدآورنده : Kaya, Dogan
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Applied mathematics
75. Parallel problem solving from nature - PPSN VI ;
پدیدآورنده : Marc Schoenauer [and others]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Evolutionary computation, Congresses.,Parallel processing (Electronic computers), Congresses.
رده :
QA76
.
58
.
C69
2000
76. Parallel processing and applied mathematics :
پدیدآورنده : Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
77. Parallel processing and parallel algorithms :
پدیدآورنده : Seyed H Roosta
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
58
S494
2013
78. Parametric design for architecture /
پدیدآورنده : Wassim Jabi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Architectural design-- Data processing.,Computer-aided design.,Architectural design-- Data processing.,ARCHITECTURE-- Adaptive Reuse & Renovation.,ARCHITECTURE-- Buildings-- Landmarks & Monuments.,ARCHITECTURE-- Professional Practice.,ARCHITECTURE-- Reference.,Computer-aided design.
رده :
NA2728
79. Perspectives of system informatics :
پدیدآورنده : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programmierung.,Theoretische Informatik.,Wissenstechnik.
80. Practical Apache Spark :
پدیدآورنده : Subhashini Chellappan and Dharanitharan Ganesan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Spark (Electronic resource : Apache Software Foundation),SPARK (Electronic resource),Spark (Electronic resource : Apache Software Foundation),SPARK (Electronic resource),Scala (Computer program language),COMPUTERS-- Databases-- General.,Scala (Computer program language)
رده :
QA76
.
9
.
D3
